top_command (cmd_load currentFile [])
IOTCM currentFile None Indirect (Cmd_give WithoutForce 0 (intervalsToRange Nothing [Interval (Pn () 192 10 10) (Pn () 204 10 22)]) "Σ[ x ∈ ⊤ ] ?")
